home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
cnstrnts
/
skyblue.lha
/
SkyBlue
/
README
next >
Wrap
Text File
|
1993-07-24
|
422b
|
8 lines
june.cs.washington.edu:~ftp/pub/constraints/SkyBlue/sky-blue.lisp is the
current version (as of 7/12/93) of the SkyBlue constraint solver code,
which extends DeltaBlue with support for multi-output methods and better
behavior when encountering cycles. For more information on the algorithm,
including pseudocode, see the tech report TR 92-07-02, available in
june.cs.washington.edu:~ftp/tr/1992/07/UW-CSE-92-07-02.PS.Z.